validity in Predicate Logic